منطق الرتبة الثانية بالانجليزي

• second-order logic

• منطق    n. dialectics, log ...
• الرتبة    rank
• الثانية    "metre; second

أمثلة

1. Second-order logic is in turn extended by higher-order logic and type theory.
   يتم التمديد إلى منطق الرتبة الثانية عبر منطق الرتب الأعلى ونظرية النمط.
2. Second-order logic extends first-order logic by adding the latter type of quantification.
   يعتبر بمنطق الرتبة الثانية تمديد لمنطق الرتبة الأولى وذلك بإضافة القياس على المجموعات.